Time Delays in Membrane Systems and Petri Nets
نویسندگان
چکیده
منابع مشابه
Time Delays in Membrane Systems and Petri Nets
Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resou...
متن کاملModeling of Systems with Delays Using Hybrid Petri Nets
In practice the systems are not only pure discrete event or pure continuous, but they are combined from discrete and continuous parts together. These systems are called hybrid systems. Hybrid Petri nets (HPNs) allow modeling and analysis of hybrid systems. Since classical HPNs cannot properly model the systems with the delays on continuous product flow, extended Hybrid Petri nets and generalize...
متن کاملPetri Nets and Membrane Computing
Petri nets are a well-established model of concurrent and distributed computation featuring a wealth of tools for the analysis and verification of their behavioural properties. Like membrane systems, Petri nets are in essence multiset rewriting systems. Using this key commonality we describe a faithful translation from basic membrane systems to Petri nets. We also sketch the changes required to...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملDigital Systems Laboratory Series A: Research Reports Time Processes of Time Petri Nets Time Processes of Time Petri Nets
The objective of this thesis is to give time Petri nets a partial order semantics, like the nonsequential processes of untimed net systems. A time process of a time Petri net is deened as a traditionally constructed causal process with a valid timing. This means that the events of the process are labeled with occurrence times which must satisfy speciic val-idness criteria. An eecient algorithm ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.57.4